Turing applied it to prove the famous halting problem in the computation theory. 图灵应用它证明了计算理论中著名的停机问题。
The author applied the theory of economic in fund time value, the dynamic method computation expense year value theory to in the heating research; 将经济学中资金时间价值理论、动态法计算费用年值理论运用到供暖方式的研究中,使课题具有现实意义。
The corresponding Fortran programme is compiled and can be applied to computation in accordance with Winkler model or thin plate theory as well. 编制了相应Fortran程序,可同时用于按薄板理论和Winkler模型计算。